A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
نویسندگان
چکیده
This paper presents a graphical representation for the stochastic π-calculus, which is formalised by defining a corresponding graphical calculus. The graphical calculus is shown to be reduction equivalent to stochastic π, ensuring that the two calculi have the same expressive power. The graphical representation is used to model a couple of example biological systems, namely a bistable gene network and a mapk signalling cascade. One of the benefits of the representation is its ability to highlight the existence of cycles, which are a key feature of biological systems. Another benefit is its ability to animate interactions between system components, in order to visualise system dynamics. The graphical representation can also be used as a front end to a simulator for the stochastic π-calculus, to help make modelling and simulation of biological systems more accessible to non computer scientists.
منابع مشابه
A Graphical Representation for the Stochastic Pi-Calculus
This paper presents a graphical representation for the stochastic pi-calculus, which builds on previous formal and informal notations. The graphical representation is used to model a Mapk signalling cascade and an evolved gene network. One of the main benefits of the representation is its ability to clearly highlight the existence of cycles, which are a key aspect of many biological systems. An...
متن کاملEfficient Simulation of Biological Processes in the Stochastic pi-calculus
This paper presents a simulation algorithm for the stochastic pi-calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a simulation depends on the number of species, rather than the number of molecules, resulting in a significant gain in efficiency. The algorithm is proved correct with respect to the calculus, and then used as a basis...
متن کاملEfficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic π-calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a simulation depends on the number of species, rather than the number of molecules, resulting in a significant gain in efficiency. The algorithm is proved correct with respect to the calculus, and then used as a basis ...
متن کاملGenome - scale Computational models for Biology
machines. IEEE Transactions on Software Engineering, 10:867–889, 2001. [84] I. Papatheodorou, A. C. Kakas, and M.J. Sergot. Inference of gene relations from microarray data by abduction. In Proceedings of Logic Programming and Nonmonotonic Reasoning (LPNMR), LNCS 3662, pages 389–393, 2005. [85] A. Phillips, L. Cardelli, and G. Castagna. A graphical representation for biological processes in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006